Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·9h
💧Liquid Types
How the Lean language brings math to coding and coding to math
amazon.science·8h·
Discuss: Hacker News
🔬Lean
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·10h
🧮Kolmogorov Complexity
Software Internals Book Club
eatonphil.com·21h
⚙️Operating System Design
Extensions and Shadows (9)
sites.psu.edu·1d
✨Effect Handlers
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·4d
🔗Functional Compilers
Building a Multi-Modal GPT Agent in TypeScript with OpenAI
dev.to·2d·
Discuss: DEV
🎙️Whisper
Why Computer Science Is No Good, Redux
cacm.acm.org·9h
🎯Performance Proofs
SAT Requires Exhaustive Search
link.springer.com·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·20h
✅Archive Validation
Things I Wish I Had Known Before Starting ML
towardsdatascience.com·3h
💻Local LLMs
Fine-tuning with GPT-OSS and Hugging Face Transformers
cookbook.openai.com·7h·
Discuss: Hacker News
📝ABNF Parsing
The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.com·5h·
Discuss: Hacker News
🦀Rust Macros
A Beginner's Guide to Skyline Queries
hackernoon.com·8h
📏Range Queries